Invariant (mathematics) Totally Explained

Everything about Invariant Mathematics totally explained

==Definition==In mathematics, an invariant is something that doesn't change under a set of transformations. The property of being an invariant is invariance.
Mathematicians say that a quantity is invariant "under" a transformation; some economists say it's invariant "to" a transformation.
More generally, given a set X with an equivalence relation

sim

on it, an invariant is a function

fcolon X 	o Y

that's constant on equivalence classes: it doesn't depend on the particular element. Equivalently, it descends to a function on the quotient

X/sim

.
   The transform definition of invariant is a special case of this, where the equivalence relation is "there is a transform that takes one to the other".
   In category theory, one takes objects up to isomorphism; every functor defines an invariant, but not every invariant is functorial (for instance, the center of a group isn't functorial).
   In computational approaches to math, one takes presentations of objects up to isomorphism, such as presentations of groups or simplicial sets up to homeomorphism of the underlying topological space.
   In complex analysis, set

X

is called forward invariant under

f

f(X)= X

, and backward invariant if

f^(X) = X

. A set is completely invariant under

f

if it's both forward and backward invariant under

f

Examples

One simple example of invariance is that the distance between two points on a number line isn't changed by adding the same quantity to both numbers. On the other hand multiplication doesn't have this property so distance isn't invariant under multiplication.
Some more complicated examples:

The real part and the absolute value of a complex number, under complex conjugation.
The degree of a polynomial, under linear change of variables.
The dimension of a topological object, under homeomorphism.
The number of fixed points of a dynamical system is invariant under many mathematical operations.
Euclidean distance is invariant under orthogonal transformations.
Euclidean area is invariant under a linear map with determinant 1 (see Equi-areal maps).
The cross-ratio is invariant under projective transformations.
The determinant, trace, and eigenvectors and eigenvalues of a square matrix are invariant under changes of basis.
The singular values of a matrix are invariant under orthogonal transformations.
Lebesgue measure is invariant under translations.
The variance of a probability distribution is invariant under translations of the real line; hence the variance of a random variable is unchanged by the addition of a constant to it.
The fixed points of a transformation are the elements in the domain invariant under the transformation. They may, depending on the application, be called symmetric with respect to that transformation. For example, objects with translational symmetry are invariant under certain translations.
The Fatou set and Julia set generated by the complex function $f$ is completely invariant under $f$

Further Information

Get more info on 'Invariant Mathematics'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://invariant__mathematics.totallyexplained.com">Invariant (mathematics) Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.